- λ-based description
- описание на языке λ-характеристик
The New English-Russian Dictionary of Radio-electronics. F.V Lisovsky . 2005.
λ-based description
Смотреть что такое "λ-based description" в других словарях:
Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on … Wikipedia
Description de l'Égypte — For other uses, see Description de l Égypte (disambiguation). The Description of Egypt … Wikipedia
Description of a Struggle — The Petřín hill (in German Laurenziberg) in Prague is featured prominently in Description of a Struggle. Description of a Struggle (German: Beschreibung eines Kampfes ) is a short story by Franz Kafka. Contents … Wikipedia
Description of the Medieval Warm Period and Little Ice Age in IPCC reports — A selection of temperature reconstructions published between 1998 and 2005 The description of the Medieval Warm Period and Little Ice Age in IPCC reports has changed since the first report in 1990 as scientific understanding of the temperature… … Wikipedia
Description of the Town of Quebeck, A — Essay (78,000 words); written September 1930–January 14, 1931. First published in HPL’s To Quebec and the Stars(1976), ed. L.Sprague de Camp. HPL’s single longest literary work an exhaustive history of Quebec and a detailed travelogue of… … An H.P.Lovecraft encyclopedia
Physiologically based pharmacokinetic modelling — Contents 1 What is a PBPK model? 2 History 3 Uses of PBPK modeling 4 Limits and extensions of PBPK modeling … Wikipedia
SRX Segmentation Rules eXchage LISA OSCAR XML based Standard — Description= Segmentation Rules eXchange (SRX) is an XML based standard for description of the ways in which translation and other language processing tools segment text for processing. It was created when it was realized that TMX leverage is… … Wikipedia
Hardware description language — In electronics, a hardware description language or HDL is any language from a class of computer languages and/or programming languages for formal description of electronic circuits. It can describe the circuit s operation, its design and… … Wikipedia
Chinese character description languages — The Chinese character description languages are several proposed languages to most accurately and completely describe Chinese (or CJKV) characters and information such their list of components, list of strokes (basic and complex), their order,… … Wikipedia
Resource Description Framework — Infobox file format name = Resource Description Framework icon = logo = extension = .rdf mime = application/rdf+xml type code = uniform type = magic = owner = [http://www.w3.org/ World Wide Web Consortium] genre = semantic web container for =… … Wikipedia
Dominance-based Rough Set Approach — (DRSA) is an extension of rough set theory for Multi Criteria Decision Analysis (MCDA), introduced by Greco, Matarazzo and Słowiński Greco, S., Matarazzo, B., Słowiński, R.: Rough sets theory for multicriteria decision analysis. European Journal… … Wikipedia
